A Rule-Based Language for Programming Wireless Sensor Actuator Networks using Frequency and Communication

This paper proposes a new rule-based language for programming heterogeneous sensor actuator networks. Rules are declarative statements which are evaluated using sensor readings spanning multiple sources. We combine our declarative rules system with the notion of frequency based operation and communication to allow a compiler to emit a work schedule optimized for minimal power consumption. Combining rules with frequency information also removes the need for concurrency in the form of threads. The language presented in this paper is compiled to an intermediate byte-code which can be executed by a reconfigurable virtual machine. Our language is designed to be reliable, energy efficient and expressive, which is achieved through predictable execution, enabling compile time checks and optimizations.